2.2.3 Integrals 201 to 298

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 263 151 146 241 658 0 273 750

N.S.

1 1.01 0.58 0.56 0.92 2.52 0.00 1.05 2.87

time (sec)

N/A 0.442 0.700 2.172 0.291 0.257 0.000 0.321 9.265

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

284 280 162 153 222 789 0 278 104

N.S.

1 0.99 0.57 0.54 0.78 2.78 0.00 0.98 0.37

time (sec)

N/A 0.476 0.814 1.805 0.324 0.266 0.000 0.311 9.155

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 283 165 153 251 691 0 283 859

N.S.

1 0.98 0.57 0.53 0.87 2.39 0.00 0.98 2.97

time (sec)

N/A 0.479 0.819 1.807 0.307 0.283 0.000 0.358 9.329

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 300 187 170 250 838 0 303 121

N.S.

1 0.97 0.60 0.55 0.81 2.70 0.00 0.98 0.39

time (sec)

N/A 0.479 0.804 1.790 0.300 0.271 0.000 0.327 9.196

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 302 187 170 286 742 0 292 595

N.S.

1 0.97 0.60 0.55 0.92 2.39 0.00 0.94 1.92

time (sec)

N/A 0.490 0.861 1.804 0.301 0.295 0.000 0.308 9.322

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 319 209 190 276 886 0 328 142

N.S.

1 0.96 0.63 0.57 0.83 2.67 0.00 0.99 0.43

time (sec)

N/A 0.519 0.954 1.846 0.302 0.561 0.000 0.313 9.171

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 329 204 189 306 776 0 321 865

N.S.

1 0.96 0.59 0.55 0.89 2.26 0.00 0.94 2.52

time (sec)

N/A 0.512 0.865 1.898 0.292 0.545 0.000 0.296 9.223

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 312 184 173 256 872 0 304 138

N.S.

1 0.97 0.57 0.54 0.80 2.71 0.00 0.94 0.43

time (sec)

N/A 0.511 0.937 1.839 0.323 0.487 0.000 0.305 9.175

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 310 184 172 283 748 0 304 760

N.S.

1 0.96 0.57 0.53 0.88 2.32 0.00 0.94 2.36

time (sec)

N/A 0.503 0.917 1.924 0.279 0.880 0.000 0.279 0.225

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 292 171 166 251 871 0 293 122

N.S.

1 1.00 0.58 0.57 0.86 2.97 0.00 1.00 0.42

time (sec)

N/A 0.477 0.946 1.837 0.284 0.304 0.000 0.299 0.179

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 293 173 167 280 763 0 298 799

N.S.

1 0.98 0.58 0.56 0.94 2.56 0.00 1.00 2.68

time (sec)

N/A 0.473 0.938 1.806 0.277 0.303 0.000 0.289 0.327

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 293 175 168 253 878 0 298 124

N.S.

1 0.98 0.59 0.56 0.85 2.95 0.00 1.00 0.42

time (sec)

N/A 0.490 0.962 1.805 0.284 0.295 0.000 0.286 9.185

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 292 172 166 276 749 0 293 780

N.S.

1 1.00 0.59 0.57 0.94 2.56 0.00 1.00 2.66

time (sec)

N/A 0.490 0.917 1.789 0.291 0.422 0.000 0.285 9.348

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 309 187 173 255 870 0 300 133

N.S.

1 0.98 0.59 0.55 0.81 2.75 0.00 0.95 0.42

time (sec)

N/A 0.511 1.001 1.844 0.291 0.502 0.000 0.301 9.208

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 312 187 173 285 770 0 304 888

N.S.

1 0.97 0.58 0.54 0.89 2.39 0.00 0.94 2.76

time (sec)

N/A 0.507 0.889 1.810 0.284 0.480 0.000 0.279 9.411

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 329 209 190 285 918 0 326 152

N.S.

1 0.96 0.61 0.55 0.83 2.68 0.00 0.95 0.44

time (sec)

N/A 0.519 0.904 1.888 0.296 0.792 0.000 0.302 9.131

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 331 210 190 321 822 0 315 626

N.S.

1 0.97 0.61 0.55 0.94 2.40 0.00 0.92 1.83

time (sec)

N/A 0.524 0.906 1.841 0.291 0.272 0.000 0.297 9.387

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

365 348 231 210 311 966 0 351 173

N.S.

1 0.95 0.63 0.58 0.85 2.65 0.00 0.96 0.47

time (sec)

N/A 0.528 0.962 1.814 0.322 0.261 0.000 0.273 9.182

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

365 350 231 210 353 854 0 351 639

N.S.

1 0.96 0.63 0.58 0.97 2.34 0.00 0.96 1.75

time (sec)

N/A 0.537 0.970 1.913 0.295 0.303 0.000 0.294 9.315

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 232 136 241 0 123 0 0 0

N.S.

1 0.95 0.56 0.99 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.410 10.193 1.936 0.000 0.129 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 353 111 267 0 103 0 0 0

N.S.

1 0.96 0.30 0.72 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.483 10.160 1.868 0.000 0.109 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 196 111 217 0 98 0 0 0

N.S.

1 0.96 0.54 1.06 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.349 10.167 1.828 0.000 0.137 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

326 316 94 243 0 77 0 0 0

N.S.

1 0.97 0.29 0.75 0.00 0.24 0.00 0.00 0.00

time (sec)

N/A 0.430 10.094 1.875 0.000 0.156 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 162 94 193 0 74 0 0 0

N.S.

1 0.98 0.57 1.17 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.307 10.057 1.909 0.000 0.081 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 311 97 232 0 71 0 0 0

N.S.

1 0.96 0.30 0.72 0.00 0.22 0.00 0.00 0.00

time (sec)

N/A 0.431 10.047 2.157 0.000 0.087 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 158 97 180 0 61 0 0 0

N.S.

1 0.97 0.60 1.10 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.309 10.048 1.903 0.000 0.128 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

328 312 96 243 0 76 0 0 0

N.S.

1 0.95 0.29 0.74 0.00 0.23 0.00 0.00 0.00

time (sec)

N/A 0.435 10.048 1.901 0.000 0.087 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 163 98 194 0 71 0 0 0

N.S.

1 0.98 0.59 1.16 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.302 10.049 1.889 0.000 0.148 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 349 99 267 0 103 0 0 0

N.S.

1 0.95 0.27 0.72 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.470 10.061 1.890 0.000 0.104 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 196 98 218 0 96 0 0 0

N.S.

1 0.96 0.48 1.07 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.350 10.060 1.881 0.000 0.080 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

486 455 160 339 0 175 0 0 0

N.S.

1 0.94 0.33 0.70 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.626 10.245 1.904 0.000 0.106 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 298 160 289 0 170 0 0 0

N.S.

1 0.93 0.50 0.90 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.505 10.232 1.877 0.000 0.104 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

447 419 138 315 0 150 0 0 0

N.S.

1 0.94 0.31 0.70 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.583 10.194 1.889 0.000 0.174 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 262 138 265 0 147 0 0 0

N.S.

1 0.93 0.49 0.94 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.458 10.190 1.915 0.000 0.176 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

408 383 115 291 0 127 0 0 0

N.S.

1 0.94 0.28 0.71 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.523 10.161 1.899 0.000 0.117 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 225 115 241 0 121 0 0 0

N.S.

1 0.94 0.48 1.01 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.384 10.162 1.824 0.000 0.094 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 347 98 267 0 102 0 0 0

N.S.

1 0.94 0.27 0.72 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.473 10.124 1.878 0.000 0.099 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 192 97 217 0 97 0 0 0

N.S.

1 0.96 0.48 1.08 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.345 10.079 1.880 0.000 0.091 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 341 85 249 0 94 0 0 0

N.S.

1 0.96 0.24 0.70 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.476 10.078 1.849 0.000 0.152 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 193 101 200 0 86 0 0 0

N.S.

1 0.96 0.50 1.00 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.346 10.064 1.815 0.000 0.123 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 338 99 243 0 81 0 0 0

N.S.

1 0.95 0.28 0.69 0.00 0.23 0.00 0.00 0.00

time (sec)

N/A 0.473 10.051 1.842 0.000 0.090 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 191 101 196 0 75 0 0 0

N.S.

1 0.94 0.50 0.96 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.354 10.053 1.878 0.000 0.094 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

364 342 100 267 0 102 0 0 0

N.S.

1 0.94 0.27 0.73 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.480 10.063 1.864 0.000 0.095 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 238 143 239 0 122 0 0 0

N.S.

1 0.98 0.59 0.98 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.402 10.179 1.968 0.000 0.108 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 359 122 265 0 102 0 0 0

N.S.

1 0.97 0.33 0.72 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.499 10.155 2.059 0.000 0.219 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 202 122 215 0 99 0 0 0

N.S.

1 0.99 0.60 1.05 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.366 10.147 1.972 0.000 0.292 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

330 323 97 241 0 79 0 0 0

N.S.

1 0.98 0.29 0.73 0.00 0.24 0.00 0.00 0.00

time (sec)

N/A 0.453 10.130 2.096 0.000 0.093 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 166 97 191 0 73 0 0 0

N.S.

1 0.99 0.58 1.14 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.320 10.131 2.311 0.000 0.086 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 287 81 225 0 55 0 0 0

N.S.

1 0.98 0.28 0.77 0.00 0.19 0.00 0.00 0.00

time (sec)

N/A 0.399 10.108 2.023 0.000 0.082 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 80 175 0 51 0 0 0

N.S.

1 1.00 0.62 1.35 0.00 0.39 0.00 0.00 0.00

time (sec)

N/A 0.273 10.067 2.160 0.000 0.140 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 281 82 225 0 62 0 0 0

N.S.

1 1.00 0.29 0.80 0.00 0.22 0.00 0.00 0.00

time (sec)

N/A 0.404 10.054 2.008 0.000 0.127 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 82 177 0 57 0 0 0

N.S.

1 1.00 0.63 1.35 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.268 10.048 1.993 0.000 0.104 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 319 83 242 0 76 0 0 0

N.S.

1 0.96 0.25 0.73 0.00 0.23 0.00 0.00 0.00

time (sec)

N/A 0.446 10.060 2.040 0.000 0.083 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 166 85 193 0 69 0 0 0

N.S.

1 0.99 0.51 1.16 0.00 0.41 0.00 0.00 0.00

time (sec)

N/A 0.326 10.056 1.954 0.000 0.092 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 355 84 266 0 104 0 0 0

N.S.

1 0.96 0.23 0.72 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.480 10.058 2.026 0.000 0.084 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 202 84 216 0 96 0 0 0

N.S.

1 0.99 0.41 1.06 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.355 10.057 1.970 0.000 0.133 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 249 134 281 0 156 0 0 0

N.S.

1 0.99 0.53 1.12 0.00 0.62 0.00 0.00 0.00

time (sec)

N/A 0.421 10.155 2.309 0.000 0.169 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 370 110 420 0 134 0 0 0

N.S.

1 0.98 0.29 1.11 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.510 10.136 2.488 0.000 0.098 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 213 110 255 0 129 0 0 0

N.S.

1 1.00 0.51 1.19 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.368 10.136 2.355 0.000 0.093 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 334 85 394 0 106 0 0 0

N.S.

1 0.98 0.25 1.16 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.440 10.115 2.444 0.000 0.100 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 177 86 230 0 102 0 0 0

N.S.

1 0.99 0.48 1.29 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.335 10.111 2.281 0.000 0.088 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 295 78 388 0 98 0 0 0

N.S.

1 0.99 0.26 1.30 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.399 10.101 1.955 0.000 0.140 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 76 222 0 90 0 0 0

N.S.

1 1.00 0.55 1.62 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.280 10.077 1.915 0.000 0.148 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 311 77 392 0 115 0 0 0

N.S.

1 0.98 0.24 1.23 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.446 10.057 2.276 0.000 0.107 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 163 92 235 0 111 0 0 0

N.S.

1 0.98 0.55 1.41 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.318 10.059 2.212 0.000 0.088 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

368 351 79 420 0 134 0 0 0

N.S.

1 0.95 0.21 1.14 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.489 10.053 2.385 0.000 0.093 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 198 79 254 0 126 0 0 0

N.S.

1 0.98 0.39 1.25 0.00 0.62 0.00 0.00 0.00

time (sec)

N/A 0.356 10.052 2.319 0.000 0.094 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

405 387 79 450 0 163 0 0 0

N.S.

1 0.96 0.20 1.11 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.530 10.061 2.637 0.000 0.115 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 89 474 129 381 2077 603 291

N.S.

1 1.00 0.93 4.94 1.34 3.97 21.64 6.28 3.03

time (sec)

N/A 0.250 0.180 2.054 0.199 0.416 1.056 0.288 9.450

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 66 262 91 217 1051 340 179

N.S.

1 1.00 0.93 3.69 1.28 3.06 14.80 4.79 2.52

time (sec)

N/A 0.225 0.113 2.107 0.189 0.305 0.667 0.267 9.321

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 42 55 53 94 415 149 97

N.S.

1 1.00 0.93 1.22 1.18 2.09 9.22 3.31 2.16

time (sec)

N/A 0.197 0.079 0.079 0.192 0.268 0.395 0.283 9.197

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 71 55 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.208 0.118 0.000 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 80 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.217 0.151 0.000 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

140 131 135 0 0 0 0 0 0

N.S.

1 0.94 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.156 0.000 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 92 63 0 112 140 0 0 0

N.S.

1 0.97 0.66 0.00 1.18 1.47 0.00 0.00 0.00

time (sec)

N/A 0.267 0.143 0.000 0.246 0.385 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 113 111 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 0.561 0.000 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 145 210 0 0 0 0 0 0

N.S.

1 1.12 1.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.367 1.313 0.000 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 25 19 14 15 15 17 17 13

N.S.

1 1.32 1.00 0.74 0.79 0.79 0.89 0.89 0.68

time (sec)

N/A 0.197 0.008 1.876 0.281 0.246 0.043 0.266 0.090

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 19 15 12 35 11 10 16 11

N.S.

1 1.27 1.00 0.80 2.33 0.73 0.67 1.07 0.73

time (sec)

N/A 0.188 0.006 1.863 0.283 0.239 0.051 0.276 0.071

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 21 17 14 13 13 14 16 13

N.S.

1 1.24 1.00 0.82 0.76 0.76 0.82 0.94 0.76

time (sec)

N/A 0.202 0.008 1.871 0.276 0.246 0.058 0.263 9.156

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 18 10 16 14

N.S.

1 1.00 1.00 0.94 0.88 1.12 0.62 1.00 0.88

time (sec)

N/A 0.174 0.005 1.882 0.187 0.259 0.045 0.269 0.047

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 54 52 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.218 0.144 0.000 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F B B F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

18 18 116 0 37 43 0 48 0

N.S.

1 1.00 6.44 0.00 2.06 2.39 0.00 2.67 0.00

time (sec)

N/A 0.163 0.465 0.000 0.269 0.277 0.000 0.331 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

64 64 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 214 157 0 0 0 0 0 0

N.S.

1 1.10 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.375 0.331 0.000 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 140 119 0 0 0 0 0 0

N.S.

1 1.07 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 0.239 0.000 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 97 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.193 0.000 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 54 54 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.202 0.193 0.000 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 77 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 0.213 0.000 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 115 112 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.301 0.000 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

207 207 184 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.400 0.401 0.000 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

73 73 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.240 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

202 231 179 0 0 0 0 0 0

N.S.

1 1.14 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.384 0.345 0.000 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 174 120 0 0 0 0 0 0

N.S.

1 1.16 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.289 0.286 0.000 0.000 0.000 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 57 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 0.177 0.000 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 105 88 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.242 0.220 0.000 0.000 0.000 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

133 150 125 0 0 0 0 0 0

N.S.

1 1.13 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 0.258 0.000 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

217 229 182 0 0 0 0 0 0

N.S.

1 1.06 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.396 0.382 0.000 0.000 0.000 0.000 0.000 0.000